Nuprl Definition : it 13,42
 == Ax 
latex

Upcore 2, core 2
Wellformedness Lemmasit wf, it wf
DefinitionsAx
FDL editor aliasesit

origin